projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a8cf142) | patch
xen/arm: p2m: flush TLB by VMID when a new domain is creating
authorJulien Grall <julien.grall@linaro.org>
Thu, 14 Nov 2013 17:00:34 +0000 (17:00 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 19 Nov 2013 14:37:41 +0000 (14:37 +0000)
commit80ede1ac29b9207b274c85d2b91201d8c4db55ec
tree331d16ce0ec0fb6a547674537cdd24f11cf94ceftree | snapshot
parenta8cf1428fc8675af6c8383c092d83e81f5dba77bcommit | diff
xen/arm: p2m: flush TLB by VMID when a new domain is creating

Once the VMID is marked unused, a new domain can reuse the VMID for its
own. If the TLB is not flushed, entries can contain wrong translation.
When a new p2m is allocated, switch to the new VMID and flush TLB on
every physical CPUs.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/p2m.c diff | blob | history
xen/include/asm-arm/arm32/flushtlb.h diff | blob | history
xen/include/asm-arm/arm64/flushtlb.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.